### Design principles used

this is a copy of the coffeemachine example in 15a\_2, so refer to 15a\_2 for an explanation on CQS